Type constructor - PDFSEARCH.IO - Document Search Engine

Type constructor
Results: 154

#	Item
61	Java Precisely Version 1.05 of[removed]Peter Sestoft Copyright c 2000 Add to Reading List Source URL: www.digilife.be Language: English - Date: 2003-02-16 08:28:12 Data types Type theory C++ Java programming language Procedural programming languages C++ classes Constructor Type conversion ALGOL 68 Software engineering Computing Computer programming
62	Under consideration for publication in Theory and Practice of Logic Programming 1 Typed Answer Set Programming Lambda Calculus Theories and Correctness of Inverse Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-04-01 13:35:06 Applied mathematics Type theory Logic in computer science Theory of computation Combinatory logic Simply typed lambda calculus Typed lambda calculus Type constructor Calculus Theoretical computer science Lambda calculus Computer science
63	Deducing the type of variable from its initializer expression (revision 2) Programming Language C++ Document no: N1794=[removed]Jaakko Järvi Texas A&M University Add to Reading List Source URL: www.open-std.org Language: English - Date: 2005-04-30 07:56:32 C++ Initialization Template Constructor Reference C Printf format string C++11 C syntax Software engineering Computing Computer programming
64	[Faculty of Science Information and Computing Sciences] GHC 7.6, More Well-Typed Than Ever Jos´e Pedro Magalh˜aes http://www.dreixel.net Add to Reading List Source URL: dreixel.net Language: English - Date: 2014-11-04 15:52:18 Data types Type theory C++ Constructor Method ALGOL 68 Type system Kind C++ classes Software engineering Programming language theory Computing
65	D2.8.III.1 Data Specification on Statistical Units – Draft Guidelines[removed]Core Package: Feature catalogue (str. 32) Table 4 - Types defined in the feature catalogue Type Package Stereotypes Section StatisticalUnit Co Add to Reading List Source URL: inspire.gov.cz Language: English - Date: 2011-09-05 09:15:49 Attribute Vector Euclidean vector Statistic Constructor Algebra Role-playing game terminology Mathematics
66	Stateful Traits Alexandre Bergel1 , St´ephane Ducasse2 , Oscar Nierstrasz3 , Roel Wuyts4 1 DSG, Trinity College Dublin, Ireland, Language and Software Evolution – LISTIC, Universit´e de Savoie, Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2011-07-25 08:41:35 Type theory Object-oriented programming Method Trait Mixin Mutator method Perl 6 Constructor Self Software engineering Computing Computer programming
67	Lexical Casting in C++ [removed] August 14, 2005 Abstract Add to Reading List Source URL: wanderinghorse.net Language: English - Date: 2009-07-27 17:58:38 C++ Method Type theory Data types Generic programming Typedef C++ classes Copy constructor Type system Software engineering Computing Computer programming
68	Flattening Traits Oscar Nierstrasz, St´ephane Ducasse and Nathanael Sch¨arli Institut f¨ ur Informatik und Angewandte Mathematik University of Bern, Switzerland Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2005-09-23 14:37:30 Computer programming Trait Abstract type Multiple inheritance Mixin Constructor Self Phenotypic trait Software engineering Type theory Computing
69	Lexical Casting in C++ [removed] August 14, 2005 Abstract Add to Reading List Source URL: s11n.net Language: English - Date: 2007-02-18 10:01:53 C++ Method Type theory Data types Generic programming Typedef C++ classes Copy constructor Type system Software engineering Computing Computer programming
70	Traits: The Formal Model? Nathanael Sch¨ arli, Oscar Nierstrasz, St´ephane Ducasse, Roel Wuyts, and Andrew Black Software Composition Group, University of Bern, Switzerland OGI School of Science & Engineering, Oregon H Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2004-04-20 07:26:58 Method Type theory Trait Multiple inheritance Mereology Constructor Mixin Self Method overriding Software engineering Object-oriented programming Computer programming